1. Foundations of Software Science and Computation Structures
Author: \ Andrew Pitts (Ed.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: System analysis -- Congresses.,Computer software -- Congresses. ,Software engineering -- Congresses. ,تجزیه و تحلیل سیستمها -- کنگره ها ,نرمافزار رایانه ای -- کنگره ها,نرمافزار -- مهندسی -- کنگرهها
Classification :
QA76
.
751
.
F67
2015
E-Book
,
2. Foundations of software science and computation structures
Author: Jerzy Tiuryn (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software, Congresses.,System analysis, Congresses.
3. Foundations of software science and computation structures : First International Conference, FoSSaCS'98 held as part of the joint European Conference on Theory and Practics of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
Author: Maurice Nivat )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software,Congresses ، System analysis
Classification :
QA
76
.
L28
Vol
.
1378
4. Foundations of software science and computation structures: Second International Conference, FOSSACS '99 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computer software,Congresses ، System analysis
Classification :
QA
76
.
751
.
F67
1999
5. Foundations of software science and computation structures : Second International Conference, FoSSaCS'99 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam the Netherlands March 22-28, 1999 : proceedings
Author: Wolfgang Thomas )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software,Congresses ، System analysis
Classification :
QA
76
.
L28
Vol
.
1578
6. Foundations of software science and computation structures : Third International Conference, FoSSaCS 2000, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
Author: Jerzy Tiuryn )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software,Congresses ، System analysis
Classification :
QA
76
.
L28
Vol
.
1784
7. Foundations of software science and computation structures : 8th International Conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings
Author: Vladimiro Sassone )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software,Congresses ، System analysis
Classification :
QA
76
.
L28
Vol
.
3441
8. Foundations of software science and computation structures : 4th International Conference, FoSSaCS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
Author: Furio Honsell, Marino Miculan )Eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software,Congresses ، System analysis
Classification :
QA
76
.
L28
Vol
.
2030
9. Foundations of software science and computation structures : 7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
Author: Igor Walukiewicz )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software,Congresses ، System analysis
Classification :
QA
76
.
L28
Vol
.
2987
10. Foundations of software science and computation structures : 5th international conference, FoSSaCS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings
Author: Mogens Nielsen, Uffe Engberg )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software,Congresses ، System analysis
Classification :
QA
76
.
L28
Vol
.
2303
11. Foundations of software science and computational structures : 6th international conference, FOSSACS 2003, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : Proceedings
Author: Andrew D.Gordon )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software,Congresses ، System analysis
Classification :
QA
76
.
L28
Vol
.
2620
12. Requirements Engineering with Use Cases. - a Basis for Software Development
Author: Regnell,Bjorn
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، System design -- Congresses,، System analysis -- Congresses,، Computer software -- Development -- Congresses
Classification :
QA
76
.
9
.
R46
1999
13. Tools and Algorithms for the Construction and Analysis of Systems
Author: \ Christel Baier, Cesare Tinelli (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: System design -- Congresses.,Computer software -- Verification -- Congresses.,System analysis -- Congresses.,طراحی سیستم -- کنگرهها ,نرمافزار -- راستیآزمایی -- کنگره ها
Classification :
QA76
.
9
.
T33
2010
E-Book
,
14. Tools and algorithms for the construction and analysis of system
Author: / C.R. Ramakrishnan, Jakob Rehof (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: System design--Congresses,System analysis--Congresses,Computer software--Development--Congresses
Classification :
QA
,
76
.
9
,.
S88
,
T33
,
2008
15. Tools and algorithms for the construction and analysis of systems :
Author: Javier Esparza, Rupak Majumdar (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: System analysis, Congresses,System design, Congresses,Computer Systems.,Software Validation.,Systems Analysis.
Classification :
QA76
.
9
.
S88
T33
2010
16. Tools and algorithms for the construction and analysis of systems :
Author: Dirk Beyer, Marieke Huisman (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
Classification :
QA76
.
9
.
S88
17. Tools and algorithms for the construction and analysis of systems :
Author: Tomáš Vojnar, Lijun Zhang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Computer software-- Verification.,System analysis.,System design.
Classification :
QA76
.
9
.
S88
18. Tools and algorithms for the construction and analysis of systems
Author: Nir Piterman, Scott A. Smolka (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses,System analysis, Congresses,System design, Congresses
Classification :
QA76
.
9
.
S88
T33
2013
